Worlds and Times
نویسندگان
چکیده
منابع مشابه
Worlds and Times
There are many parallels between the role of possible worlds in modal logic and that of times in tense logic. But the similarities only go so far, and it is important to note where the two come apart. This paper argues that even though worlds and times play similar roles in the model theories of modal and tense logic, there is no tense analogue of the possible-worlds analysis of modal operators...
متن کاملAdrian Miroiu WORLDS WITHIN WORLDS
It is sometimes argued that possible worlds are too rich. Indeed, for every sentence φ and every world w, either φ is true at w, or ¬φ is true at w. Possible worlds leave nothing unsettled: for any question one may ask, there is always an answer, yes or no. My view goes along the opposite side. I take possible worlds to be incredibly poor, and I think that a good deal can be added to them. The ...
متن کاملConstructing Hereditary Worlds Within Worlds
Although they appear unrelated, the type system of the polymorphic λ-calculus with references and the assertions of concurrent separation logic with first-class locks share a critical feature: an unsound contravariant circularity in their naı̈ve semantic model. We developed indirection theory to automatically construct, and cleanly axiomatize, step-indexed approximations to these naı̈ve models, a...
متن کاملa critical discourse analysis of the new york times and the tehran times news articles, covering the u.s.-led war in afghanistan
تحقیق حاضر متون خبری روزنامه های نیویورک تایمز و تهران تایمز را به صورت تحلیل انتقادی کلامی مورد بررسی قرارمی دهدکه درمورد جنگ به رهبری آ مریکا در افغانستان است. هدف از این تحقیق نشان دادن تاثیر ایدیولوژی و نگرشهای نویسندگان متون خبری است که ممکن است پنهان باشد. برای انجام این تحقیق 20 متن خبری) از هر روزنامه 10 متن خبری) به صورت تصادفی از سایت اینترنتی روزنامه های نیویورک تایمز و تهران تایمز ا...
15 صفحه اولReal Worlds, Virtual Worlds – and the Roots of Psychoacoustics
Knowledge from Psychoacoustics has recently gained increasing attention in technology. In this context it can be observed that, on the one hand, scientific Psychoacoustics is overestimated regarding it's application potency and, thus, contributions are expected from it which it cannot render. On the other hand, Psychoacoustics is also underestimated in that it is considered to be primarily “sub...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2006
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1143468309